31.Q2b: 独热有限状态机方程
该问题对应的状态图再次展示如下。
假设采用一位热编码方式，状态分配为y[5:0] = 000001（状态A）、000010（状态B）、000100（状态C）、001000（状态D）、010000（状态E）和100000（状态F）。
为状态触发器y[1]的输入信号Y1编写一个逻辑表达式。
为状态触发器y[3]的输入信号Y3编写一个逻辑表达式。
（通过直接观察推导逻辑方程，假设采用一位热编码方式。测试平台（testbench）将会使用非一位热编码的输入进行测试，以确保你没有试图进行更复杂的操作）。
模块声明
module top_module (
input [5:0] y,
input w,
output Y1,
output Y3
);